Vector types and debug performance
blog.s-schoener.com·2h·
Discuss: Hacker News, r/cpp
⚡SIMD Optimization
Modeling Uncertainty For Better Outcomes
win-vector.com·7h
📈Linear programming
Thoughts on teaching multivariable calculus
blog.evanchen.cc·1h
📚Proof Pedagogy
🍲Beginners guide to "Leetcode 808: Soup Serving"(C++ | JavaScript | Python)
dev.to·23h·
Discuss: DEV
🧮Kolmogorov Complexity
Floats Don’t Work For Storing Cents: Why Modern Treasury Uses Integers Instead
moderntreasury.com·1d·
Discuss: Hacker News, r/programming
📐Interval Arithmetic
Static vs Dynamic
theprogrammersparadox.blogspot.com·6h·
Discuss: theprogrammersparadox.blogspot.com
🏗️Compiler Archaeology
Effective Strategies for Threat and Vulnerability Management
vmray.com·8h
🎯Threat Hunting
How To Solve Every Programming Problem
blog.codeminer42.com·2d
📐Interval Arithmetic
On This Day in Math - August 8
pballew.blogspot.com·19h·
Discuss: www.blogger.com
📚Archive Mathematics
WAPE: Weighted Absolute Percentage Error
robjhyndman.com·1d
🎯Arithmetic Coding Theory
Vector Search Is Reaching Its Limit. Here’s What Comes Next
thenewstack.io·9h
🗂️Vector Databases
Demystifying Cosine Similarity
towardsdatascience.com·6h
📐Vector Similarity
I Ran OpenAI's 'Open-Weight' Model on My Laptop (but I Wouldn't Recommend It)
lifehacker.com·2h
🖥️Terminal Renaissance
Parametric Matrix Models
nature.com·1d·
Discuss: Hacker News
📐Linear Algebra
Dear String-to-Integer Parsers
owl.billpg.com·1d·
Discuss: Hacker News
🔧Binary Parsing
Luhn credit card checksum using SWAR and SIMD
nullprogram.com·15h·
Discuss: Hacker News
🔢Bitwise Algorithms
Why Tail-Recursive Functions Are Loops
kmicinski.com·9h·
Discuss: Hacker News
🔗Lisp
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·20h
🧮SMT Solvers
Cosmic Ray Bit Flips and the Hidden Risk at Scale
cside.dev·37m·
Discuss: Hacker News
🌳Archive Merkle Trees
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·5d·
Discuss: Substack, r/programming
🎯Proof Tactics